261. Category theory and computer science: Manchester, UK, September, 1989, proceedings
پدیدآورنده :
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : Congresses ، Categories )Mathematics(
رده :
QA
169
.
P7
1989
262. Category theory and computer science: Manchester, UK, September 5-8, 1989, proceedings. Manchester, UK, September 5-8, 1989, proceedings, Lecture notes in comuter science
پدیدآورنده : D.H. Pitt ... ]et al.[ )ed.(
کتابخانه: Library and Documentation Center of Kurdistan University (Kurdistan)
موضوع : ، Computer programming- Congresses,، Categories )Mathematics(- Congresses
رده :
QA
76
.
6
.
C3882
1989
263. Category theory and computer science : Paris, France, September 3-6, 1991 : proceedings
پدیدآورنده : D.H. Pitt ... )et al.( )eds.(
کتابخانه: Central Library of Imam Khomeini International University of Qazvin (Qazvin)
موضوع : Computer science - Congresses,Categories )Mathematics( - Congresses
رده :
QA
.
S86
75
.
5
1991
264. Category theory and computer science : Paris, France, September 3-6, 1991 : proceedings
پدیدآورنده :
موضوع : ، Computer science-- Congresses,، Categories )Mathematics(-- Congresses
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
265. Category theory and computer science: Paris, France, September 3-6, 1991, proceedings
پدیدآورنده : D.H. Pitt...]et al.[ )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Computer science,Congresses ، Categories )Mathematics(
رده :
QA
76
.
L28
Vol
.
530
266. Category theory and computer science : 6th International Conference, CTCS 95, Cambridge, United Kingdom, August 7-11, 1995 : proceedings
پدیدآورنده : David Pitt, David E. Rydeheard, Peter Johnstone, eds
کتابخانه: Central Library of Amirkabir University of Technology (Tehran)
موضوع : Electronic digital computers - Programming - Congresses , Categories )Mathematics( - Congresses
رده :
QA
76
.
6
.
B53
1995
267. Category theory and computer science : 7th International Conference, CTCS '97,Santa Margherita Ligure, Italy, Sptember 1997: Proceeding
پدیدآورنده : / Eugenio Moggi, Giuseppe Rosolini(eds.)
کتابخانه: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
موضوع : Electronic digital computers - Programming - Congresses,Categories (Mathematics) - Congresses
رده :
QA76
,.
6
.
B53
268. Category theory and computer science : 7th International conference, CTCS'97, S. Margheria Ligure, Italy, September 1997 : proceedings
پدیدآورنده : Eugenio Moggi, Giuseppe Rosolini )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Computer science -- Mathematics,Congresses ، Categories )Mathematics(
رده :
QA
76
.
L28
Vol
.
1290
269. Category theory: applications to algebra, logic and topolgoy; proceedings of the International Conference held at Gummersbach, July 6-10, 1981
پدیدآورنده : edited by K. H. Kamps, D. Pumpun, and W. Tholen
کتابخانه: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
موضوع : Congresses ، Categories )Mathematics(
رده :
QA
3
.
L28
no
.
962
270. Category theory : applications to algebra, logic, and topology : proceedings of the international conference held at Gummersbach, July 6-10, 1981
پدیدآورنده : edited by K.H. Kamps, D. Pumplun, and W. Tholen
کتابخانه: Central Library of Imam Khomeini International University of Qazvin (Qazvin)
موضوع : Categories )Mathematics( - Congresses
رده :
QA
.
L28
,
no
3
.
962
271. Category theory :applications to algebra, logic, and topology: proceedings of the international conference held at Gummersbach, July 6-10, 1981
پدیدآورنده :
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : Congresses ، Categories )Mathematics(
رده :
QA
3
.
L28
no
.
962
272. Category theory : applications to algebra, logic, and topology : proceedings of the international conference held at Gummersbach, July 6-10, 1981
پدیدآورنده : edited by K.H. Kamps, D. Pumplun, and W. Tholen
کتابخانه: Central Library and Documentation Center (Kerman)
موضوع : Congresses ، Categories )Mathematics(
رده :
QA
1
.
L4
v
.
962
273. Category theory : applications to algebra, logic, and topology : proceedings of the international conference held at Gummersbach, July 6-10, 1981
پدیدآورنده : edited by K. H. Kamps, D. Pumplun, and W. Tholen
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Categories )Mathematics(
رده :
QA
3
.
L28
Vol
.
962
274. Category theory : applications to algebra, logic, and topology : proceedings of the international conference held at Gummersbach, July 6-10, 1981
پدیدآورنده : edited by K.H. Kamps, D. Pumplun, and W. Tholen
کتابخانه: Library of College of Science University of Tehran (Tehran)
موضوع : Congresses ، Categories )Mathematics(
رده :
QA
169
.
C35
1981
275. Category theory applied to computation and control: proceedings of the first international symposium, San Francisco, Feb.25-26, 1974
پدیدآورنده : edited by E. G. Manes
کتابخانه: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
موضوع : Congresses ، Machine theory,Congresses ، Automata,Congresses ، Control theory,Congresses ، Categories )Mathematics(
رده :
QA
267
.
C35
276. Category theory applied to computation and control : proceedings of the first international symposium, San Francisco, February 25-26, 1974
پدیدآورنده :
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Machine theory-- Congresses,، Control theory-- Congresses,، Categories )Mathematics(-- Congresses
رده :
QA
267
.
C35
277. Category theory applied to computation and control : proceedings of the first international symposium, San Francisco, February 25-26, 1974
پدیدآورنده : edited by E. G. Manes
کتابخانه: Library of College of Science University of Tehran (Tehran)
موضوع : Congresses ، Machine theory,Congresses ، Control theory,Congresses ، Categories )Mathematics(
رده :
QA
267
.
C35
278. Category theory at work /
پدیدآورنده : Horst Herrlich and Hans-E. Porst (eds.) ; with cartoons by Marcel Erné.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Categories (Mathematics),Topology.,Categories (Mathematics),Catégories (Mathématiques),Kategorientheorie.,Kategorientheorie.,Topologie.,Topology.,Bremen 1990, 7
رده :
QA169
.
C38
1991
279. Category theory & computer programming:tutorial & workshop,
پدیدآورنده : PITT,DAVID H
کتابخانه: Central Library of Amirkabir University of Technology (Tehran)
موضوع : ELECTRONIC DIGITAL COMPUTERS-PROGRAMMING , CATEGORIES )MATHEMATICS(
رده :
QA
76
.
6
.
C387
1985
280. Category theory for computing science /
پدیدآورنده : Michael Barr, Charles Wells
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Categories (Mathematics),Computer science-- Mathematics
رده :
QA76
.
9
.
M35
B37
1990
